Reflections on containment

Reflections on Reflections

The graduate student workshop ''Buddhist Art: Objects and Contexts'' was an unusual event. Like Reflections of the Buddha, the exhibition it addressed, it was in constant dialogue with its physical setting, the singular Tadao Ando ¯ building home to the Pulitzer Foundation for the Arts, as the four sessions moved through the four galleries in changing light. The event was also distinguished by ...

An Investigation on Tadao Ando’s Phenomenological Reflections

Reflections on reflections in explicit mathematics

We give a broad discussion of reflection principles in explicit mathematics, thereby addressing various kinds of universe existence principles. The proof-theoretic strength of the relevant systems of explicit mathematics is couched in terms of suitable extensions of KripkePlatek set theory.

Monadic Datalog Containment on Trees

We show that the query containment problem for monadic datalog on finite unranked labeled trees can be solved in 2-fold exponential time when (a) considering unordered trees using the axes child and descendant, and when (b) considering ordered trees using the axes firstchild, nextsibling, child, and descendant. When omitting the descendant-axis, we obtain that in both cases the problem is Expti...

Reflections on Piaget 1 Running head : REFLECTIONS ON PIAGET